|
|
Model úloh s omezeními a mechanismů jejich plánování v UPPAAL SMC
Palúch, Filip ; Podivínský, Jakub (oponent) ; Strnadel, Josef (vedoucí práce)
Cieľom je vytvorenie prehľadu mechanizmov plánovania úloh v jednoprocesorovom prostredí. Použitím týchto mechanizmov sú navrhnuté a implementované jednotlivé modely v nástroji UPPAAL, na ktorý sa táto práca orientuje. Výsledkom práce je overenie validity a vlastností mechanizmov získaných na základe implementovania modelov. Na porovnávanie výsledkov z nástroja UPPAAL sú využíté nástroje TimesTool a Cheddar.
|
|
|
Systém pro zabezpečení a střežení objektů a prostor
Kuchařík, David ; Kubek, Ján (oponent) ; Strnadel, Josef (vedoucí práce)
Tento projekt se zabývá existujícími možnostmi zabezpečení, jak mechanickou tak elektronickou cestou. Jako objekt pro zabezpečení byl vybrán řadový rodinný dům se zahradou. Byly rozpracovány dva návrhy na zabezpečení a střežení tohoto objektu. Jeden ve formě kamerového systému a druhý v podobě klasického systému EZS. Bylo provedeno zhodnocení a vyzvednutí nejvýznamnější výhody jednotlivých návrhů. Na základě zadaných kritérií byl vybrán systém založený na ústředně a k ní připojených detektorech. Posléze byl vytvořen model vybraného systému, u kterého byla provedena simulace a verifikace požadovaného chování a nástin implementace v jazyce C.
|
|
|
Generic Flow Analysis in Computer Networks
Jančová, Markéta ; Holkovič, Martin (oponent) ; Kolář, Dušan (vedoucí práce)
This diploma thesis focuses on the automatic network traffic description using models of communication. The main aim is at industrial control system protocols, especially IEC 60870-5-104 . We propose a method of characterizing the network state using both communication content and behavior in time viewpoints. These aspects are described using finite state automata , prefix trees , and recurrence analysis. In the second part of this thesis, we focus on the implementation of a program, which is capable to use the obtained model to verify network traffic in real-time.
|
|
|
Dependability Assessment Based on SMC
Gajdošík, Róbert ; Lojda, Jakub (oponent) ; Strnadel, Josef (vedoucí práce)
The aim of this thesis is assessing dependability of computerized systems using modelling and simulation. After establishing basic nomenclature, research was performed on de- pendability metrics, fault taxonomy and dependability bolstering techniques. Afterwards, analytical solutions were explored to be used as a reference point. Next, multiple simulation tools were assessed and Uppaal SMC was chosen as the most suitable tool because of it’s timed automaton framework enriched with a query language and multiple Simulation Model Checking tools. Finally, systems describing multiple relevant situations were implemented and evaluated against both themselves and the analytically computed reference point.
|
|
|
Generic Flow Analysis in Computer Networks
Jančová, Markéta ; Holkovič, Martin (oponent) ; Kolář, Dušan (vedoucí práce)
This diploma thesis focuses on the automatic network traffic description using models of communication. The main aim is at industrial control system protocols, especially IEC 60870-5-104 . We propose a method of characterizing the network state using both communication content and behavior in time viewpoints. These aspects are described using finite state automata , prefix trees , and recurrence analysis. In the second part of this thesis, we focus on the implementation of a program, which is capable to use the obtained model to verify network traffic in real-time.
|
|
|
Model úloh s omezeními a mechanismů jejich plánování v UPPAAL SMC
Palúch, Filip ; Podivínský, Jakub (oponent) ; Strnadel, Josef (vedoucí práce)
Cieľom je vytvorenie prehľadu mechanizmov plánovania úloh v jednoprocesorovom prostredí. Použitím týchto mechanizmov sú navrhnuté a implementované jednotlivé modely v nástroji UPPAAL, na ktorý sa táto práca orientuje. Výsledkom práce je overenie validity a vlastností mechanizmov získaných na základe implementovania modelov. Na porovnávanie výsledkov z nástroja UPPAAL sú využíté nástroje TimesTool a Cheddar.
|
|
|
Systém pro zabezpečení a střežení objektů a prostor
Kuchařík, David ; Kubek, Ján (oponent) ; Strnadel, Josef (vedoucí práce)
Tento projekt se zabývá existujícími možnostmi zabezpečení, jak mechanickou tak elektronickou cestou. Jako objekt pro zabezpečení byl vybrán řadový rodinný dům se zahradou. Byly rozpracovány dva návrhy na zabezpečení a střežení tohoto objektu. Jeden ve formě kamerového systému a druhý v podobě klasického systému EZS. Bylo provedeno zhodnocení a vyzvednutí nejvýznamnější výhody jednotlivých návrhů. Na základě zadaných kritérií byl vybrán systém založený na ústředně a k ní připojených detektorech. Posléze byl vytvořen model vybraného systému, u kterého byla provedena simulace a verifikace požadovaného chování a nástin implementace v jazyce C.
|
host ::
RSS.